#include <syscall.h>
#include <task.h>
#include <print.h>
#include <mutex.h>
#include <event.h>

typedef U32 (*SYSCALL_FUNC)();

SYSCALL_FUNC syscall_table[] = {
    (SYSCALL_FUNC)SYS_TaskDestory,
    (SYSCALL_FUNC)SYS_print,
    (SYSCALL_FUNC)SYS_SetCursorPos,
    (SYSCALL_FUNC)SYS_MutexCreat,
    (SYSCALL_FUNC)SYS_MutexLock,
    (SYSCALL_FUNC)SYS_MutexUnLock,
    (SYSCALL_FUNC)SYS_MutexDestory,
    (SYSCALL_FUNC)SYS_MutexTryLock,
    (SYSCALL_FUNC)SYS_EventCreat,
    (SYSCALL_FUNC)SYS_WaitEvent,
    (SYSCALL_FUNC)SYS_SetEvent,
    (SYSCALL_FUNC)SYS_ClearEvent,
    (SYSCALL_FUNC)SYS_EventDestory,
};

